Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
121	Stochastic Activity Authoring with Direct User Control Aline Normoyle∗ University of Pennsylvania Maxim Likhachev † Carnegie Mellon University Add to Reading List Source URL: www.alinenormoyle.com Language: English - Date: 2014-03-08 16:49:28 Simulation Stochastic processes Operations research Scientific modeling Models of computation Markov chain Random walk Crowd simulation Agent-based model Stochastic Traffic flow
122	University of California, Irvine Statistics Seminar Adaptive Geometric Monte Carlos Using Gaussian Process Emulation for Computation Intensive Models Shiwei Lan Add to Reading List Source URL: www.stat.uci.edu Language: English - Date: 2015-03-10 12:48:20
123	Bucket ORAM: Single Online Roundtrip, Constant Bandwidth Oblivious RAM Christopher Fletcher MIT Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-11-03 22:42:00 Computing Analysis of algorithms Cache Models of computation Oblivious ram Oram Hash table Internet Relay Chat Sorting algorithm
124	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
125	Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal Add to Reading List Source URL: greatscottgadgets.com Language: English - Date: 2016-03-08 15:48:05 Turing machine Computing Theoretical computer science Models of computation Theory of computation Computability theory Alan Turing Typewriter Computer Word processor
126	Akka Stream and HTTP Experimental Scala Documentation ReleaseTypesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2016-04-01 09:15:21 Computing Inter-process communication Java platform Programming paradigms Computer data Models of computation Reactive Streams Akka Scala Dataflow Stream STREAMS
127	TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems (Preliminary White Paper, November 9, 2015) Mart´ın Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg S. Co Add to Reading List Source URL: download.tensorflow.org Language: English - Date: 2015-12-02 12:41:23 Machine learning Computing Artificial intelligence Computational neuroscience Deep learning Free statistical software TensorFlow Artificial neural networks Models of computation Dataflow Convolutional neural network Distributed computing
128	Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-07-27 18:17:04 FO Finite model theory Finite automata Models of computation
129	International Journal of Interactive Multimedia and Artificial Intelligence, Vol. 4, Nº1 A Distributed Intelligent System for Emergency Convoy M. Benalla, B. Achchab, H. Hrimech Univ. Hassan 1, Higher School of Technol Add to Reading List Source URL: www.ijimai.org Language: English - Date: 2016-03-29 07:56:35 Transport Land transport Multi-agent systems Artificial intelligence Road transport Complex systems theory Models of computation Distributed artificial intelligence Agent-based model Traffic flow Traffic light Convoy
130	Akka Stream and HTTP Experimental Java Documentation ReleaseTypesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2016-04-01 09:15:21 Computing Inter-process communication Java platform Computer data Computer architecture Models of computation Reactive Streams Akka Dataflow Stream Scala Twitter